BibTeX Data
List of Journal Abbreviations
@InProceedings{Tru_j2004_c,
author = {Bianca~Truthe},
title = {A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages},
booktitle = {Developments in Language Theory,
8th International Conference, DLT 2004,
Auckland, New Zealand, December 13--17, 2004,
Proceedings},
year = {2004},
OPTmonth = {Dezember},
editor = {Cristian~S.~Calude and Elena~Calude and Michael~J.~Dinneen},
publisher = springer,
series = {LNCS},
volume = {3340},
pages = {406--417},
url = {http://dx.doi.org/10.1007/b103739}
}